IEclipsePreferences#org-eclipse-ui-editors:org-eclipse-eclemma-ui {
	preferences:
		'fullcoverage_color=6,74,6'
		'partialcoverage_color=98,98,0'
		'nocoverage_color=98,5,5'
}
